首页> 外文OA文献 >The Complexity of Proving Discrete Jordan Curve Theorem

【2h】

The Complexity of Proving Discrete Jordan Curve Theorem

机译：证明离散Jordan曲线定理的复杂性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Stephen Cook;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The Complexity of Proving the Discrete Jordan Curve Theorem [J] . PHUONG NGUYEN, STEPHEN COOK ACM transactions on computational logic . 2012,第1期

机译：证明离散乔丹曲线定理的复杂性
2. The Complexity of Hex and the Jordan Curve Theorem [J] . Aviv Adler, Constantinos Daskalakis, Erik D. Demaine LIPIcs : Leibniz International Proceedings in Informatics . 2016,第1期

机译：十六进制的复杂性与Jordan曲线定理
3. An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps [J] . Jean-Francois Dufourd Journal of Automated Reasoning . 2009,第1期

机译：组合超图在Coq中形式化的Jordan曲线定理离散形式的直觉证明
4. The Complexity of Proving the Discrete Jordan Curve Theorem [C] . Nguyen, Phuong, Cook, . 2007

机译：证明离散乔丹曲线定理的复杂性
5. Discrete local central limit theorems and boolean function complexity measures [D] . Gilmer, Justin. 2015

机译：离散局部中心极限定理和布尔函数复杂度测度
6. The Cauchy-Goursat Theorem for Rectifiable Jordan Curves [O] . J. L. Walsh 1933

机译：可修正约旦曲线的柯西-古尔萨特定理
7. The Complexity of Proving the Discrete Jordan Curve Theorem [O] . Nguyen, Phuong, Cook, Stephen 2010

机译：证明离散Jordan曲线定理的复杂性

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号